#include <stdio.h>
void f(void);
int x=15213;
int main()
{
f();
printf("x=%d\n",x);
return 0;

}

